Mobile Agent Life Cycle Demystified using Formal Method
نویسندگان
چکیده
منابع مشابه
Model Checking Agent using Formal Method for SMS
Most recently, concerns have been raised regarding the trustworthiness of such systems in many areas. The issue is commonly involved in business and telecommunication industries as the area has potential to contribute income in the Malaysia market. However, based on the general survey and users feedback there are still several unexpected errors arise during the processing system. Therefore, the...
متن کاملEntropy Demystified: Potential Order, Life and Money
Although the concept of entropy has been under discussion for one and a half centuries, its philosophical depth has still not been properly explored and it is still one of the most complicated and controversial concepts of science. Its application to the study of social processes has started only in recent decades and no doubt this trend will continue. The author's first goal in this book is to...
متن کاملUsing Life Cycle Assessment Method for Selecting Optimal Waste Management System in Tehran City
Introduction: In Tehran with a population of 9 million currently, about 2.5 million tons municipal solid waste have been producing annually. Materials and Models: In this study by using Life Cycle Assessment (LCA) model an optimal system of waste management of Tehran was recommended. Based on the quantity and quality of waste in Tehran in 2013 and facilities, three scenarios were selected. Fir...
متن کاملExperiments on Formal Verification of Mobile Agent Data Integrity Properties
This paper explores the possibility of applying existing verification techniques and tools to the cryptographic mechanisms specifically designed for the protection of mobile agents from their environment, with a particular emphasis on agent data integrity. In a previous paper we explored the use of the CSPbased tools FDR and Casper. Here, instead, we present our experience with a prototype of a...
متن کاملJacobi computation using mobile agent
Physical phenomena occur in a wide range of mathematical applications: from fluid to solid mechanics, electromagnetic and electrical engineering. Engineers working toward an optimized modelling must develop their software and physical system together. This development follows a standard life-cycle with design, coding and test. Validation is become quite complex and is subdivided into several pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions on Machine Learning and Artificial Intelligence
سال: 2015
ISSN: 2054-7390
DOI: 10.14738/tmlai.32.1025